منابع مشابه
Politiques de gestion de protections pour l'implémentation de sections critiques
L’exploitation des architectures multicœurs repose sur une bonne gestion du parallélisme à l’intérieur des applications. Une telle gestion nécessite notamment d’éviter les conflits d’accès (ou race conditions) aux variables partagées entre plusieurs processus. Ceci peut se faire par l’introduction de sections critiques destinées à protéger les accès à ces variables. L’exécution atomique de ces ...
متن کاملThèse de doctorat de l'Université Paris-Est
Organic aerosol formation in the atmosphere is investigated via the developpement of a new model named H2O (Hydrohilic/Hydrophobic Organics). First, a parameterization is developped to take into account secondary organic aerosol formation from isoprene oxidation. It takes into account the e ect of nitrogen oxides on organic aerosol formation and the hydrophilic properties of the aerosols. This ...
متن کاملDocteur De L’école Des Mines De Paris
— Homogeneous Combustion Compression Ignition (HCCI) combustion is characterized by a very high rate of Exhaust Gas Recirculation (EGR). This improves mixing and dilution in the cylinders, reduces pollutant formation at the expense of combustion stability. Thus HCCI engines requires real-time control to ensure a good trade–off between performance (in terms of torque production and low pollutant...
متن کاملAnalyse de dépendances ML pour les évaluateurs de logiciels critiques
Critical software needs to obtain an assessment before commissioning in order to ensure compliance with standards. This assessment is given after a long task of software analysis performed by assessors. They may be helped by tools, used interactively, to build models using information-flow analyses. Tools like SPARK-Ada exist for Ada subsets used for critical software. But some emergent languag...
متن کاملThese De Doctorat De L’universite Paris Descartes
terminaisons axonales, ont un rôle crucial dans la libération de GABA par les MLIs.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: D’ici et d’ailleurs : International Computer Music Conference (Montréal 1991)
سال: 2010
ISSN: 1488-9692,1183-1693
DOI: 10.7202/902064ar